the script but do not attempt to run it
* debian/tests/gnome-desktop-testing: Skip test-local-pull.sh.test
which suffers from a known bug (#842606)
+ * debian/tests/gnome-desktop-testing: Fail if no tests were found
+ - debian/tests/test-local-pull: Run the unreliable test separately,
+ repeated 3 times to assess how often it fails
-- Simon McVittie <smcv@debian.org> Sun, 15 Jan 2017 14:37:12 +0000
-Tests: gnome-desktop-testing
+Tests: gnome-desktop-testing, test-local-pull
Depends: gnome-desktop-testing, ostree-tests
Tests: build
--- /dev/null
+#!/bin/sh
+
+set -e
+exec 2>&1
+
+N=3
+passed=0
+
+for i in `seq 1 $N`; do
+ if gnome-desktop-testing-runner ostree/test-local-pull.sh.test; then
+ passed=$(( $passed + 1))
+ fi
+done
+
+echo "test-local-pull: passed $passed/$N attempts"
+
+if [ "$passed" -ne "$N" ]; then
+ exit 1
+fi